Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
An Overview of Modern Memory Management Architectures in LLM Agents
vinithavn.medium.com·16h·
Discuss: Hacker News
💬Smalltalk VMs
Here's Why RAM Should Be Your Priority When Buying a Laptop
howtogeek.com·7h
🧠Memory Hierarchy
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
Highly concurrent in-memory counter in GoLang
engineering.grab.com·5h
🧠Memory Models
Building Mycelian Memory: An open source persistent memory framework for AI Agents - Would love for you to try it out!
reddit.com·1d·
Discuss: r/LocalLLaMA
🧠Memory Allocators
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Souvenir
deprogrammaticaipsum.com·2h
🔗Weak References
[NodeBook] Memory Fragmentation and Buffer Coding Challenges
thenodebook.com·2d·
Discuss: r/node
🏟️Arena Allocation
A gentle introduction to GEMM using MMA tensor cores
am17an.bearblog.dev·3d·
Discuss: Hacker News
💾Register Pressure
My custom two realtime concurrency primitives
blog.inkreas.ing·1d·
Discuss: r/rust
🔗Concurrency Primitives
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀MIR Optimization
Myth Busters: Is Rust a Slam Dunk?
infoq.com·1d·
Discuss: Hacker News
🚂Cranelift IR
Simple LLM VRAM calculator for model inference
bestgpusforai.com·2d·
Discuss: Hacker News
🗺️Region Inference
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🪆Embedded DSLs
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·19h·
Discuss: Hacker News
💬Interactive REPLs